Optimal. Leaf size=230 \[ \frac {4 e^{-\frac {a}{b}} i (f h-e i)^3 \text {Ei}\left (\frac {a+b \log (c (e+f x))}{b}\right )}{b c d f^5}+\frac {6 e^{-\frac {2 a}{b}} i^2 (f h-e i)^2 \text {Ei}\left (\frac {2 (a+b \log (c (e+f x)))}{b}\right )}{b c^2 d f^5}+\frac {4 e^{-\frac {3 a}{b}} i^3 (f h-e i) \text {Ei}\left (\frac {3 (a+b \log (c (e+f x)))}{b}\right )}{b c^3 d f^5}+\frac {e^{-\frac {4 a}{b}} i^4 \text {Ei}\left (\frac {4 (a+b \log (c (e+f x)))}{b}\right )}{b c^4 d f^5}+\frac {(f h-e i)^4 \log (a+b \log (c (e+f x)))}{b d f^5} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.47, antiderivative size = 230, normalized size of antiderivative = 1.00, number of steps
used = 14, number of rules used = 8, integrand size = 32, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.250, Rules used = {2458, 12,
2395, 2336, 2209, 2339, 29, 2346} \begin {gather*} \frac {i^4 e^{-\frac {4 a}{b}} \text {Ei}\left (\frac {4 (a+b \log (c (e+f x)))}{b}\right )}{b c^4 d f^5}+\frac {4 i^3 e^{-\frac {3 a}{b}} (f h-e i) \text {Ei}\left (\frac {3 (a+b \log (c (e+f x)))}{b}\right )}{b c^3 d f^5}+\frac {6 i^2 e^{-\frac {2 a}{b}} (f h-e i)^2 \text {Ei}\left (\frac {2 (a+b \log (c (e+f x)))}{b}\right )}{b c^2 d f^5}+\frac {4 i e^{-\frac {a}{b}} (f h-e i)^3 \text {Ei}\left (\frac {a+b \log (c (e+f x))}{b}\right )}{b c d f^5}+\frac {(f h-e i)^4 \log (a+b \log (c (e+f x)))}{b d f^5} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 12
Rule 29
Rule 2209
Rule 2336
Rule 2339
Rule 2346
Rule 2395
Rule 2458
Rubi steps
\begin {align*} \int \frac {(h+191 x)^4}{(d e+d f x) (a+b \log (c (e+f x)))} \, dx &=\frac {\text {Subst}\left (\int \frac {\left (\frac {-191 e+f h}{f}+\frac {191 x}{f}\right )^4}{d x (a+b \log (c x))} \, dx,x,e+f x\right )}{f}\\ &=\frac {\text {Subst}\left (\int \frac {\left (\frac {-191 e+f h}{f}+\frac {191 x}{f}\right )^4}{x (a+b \log (c x))} \, dx,x,e+f x\right )}{d f}\\ &=\frac {\text {Subst}\left (\int \left (-\frac {764 (191 e-f h)^3}{f^4 (a+b \log (c x))}+\frac {(191 e-f h)^4}{f^4 x (a+b \log (c x))}+\frac {218886 (191 e-f h)^2 x}{f^4 (a+b \log (c x))}-\frac {27871484 (191 e-f h) x^2}{f^4 (a+b \log (c x))}+\frac {1330863361 x^3}{f^4 (a+b \log (c x))}\right ) \, dx,x,e+f x\right )}{d f}\\ &=\frac {1330863361 \text {Subst}\left (\int \frac {x^3}{a+b \log (c x)} \, dx,x,e+f x\right )}{d f^5}-\frac {(27871484 (191 e-f h)) \text {Subst}\left (\int \frac {x^2}{a+b \log (c x)} \, dx,x,e+f x\right )}{d f^5}+\frac {\left (218886 (191 e-f h)^2\right ) \text {Subst}\left (\int \frac {x}{a+b \log (c x)} \, dx,x,e+f x\right )}{d f^5}-\frac {\left (764 (191 e-f h)^3\right ) \text {Subst}\left (\int \frac {1}{a+b \log (c x)} \, dx,x,e+f x\right )}{d f^5}+\frac {(191 e-f h)^4 \text {Subst}\left (\int \frac {1}{x (a+b \log (c x))} \, dx,x,e+f x\right )}{d f^5}\\ &=\frac {1330863361 \text {Subst}\left (\int \frac {e^{4 x}}{a+b x} \, dx,x,\log (c (e+f x))\right )}{c^4 d f^5}-\frac {(27871484 (191 e-f h)) \text {Subst}\left (\int \frac {e^{3 x}}{a+b x} \, dx,x,\log (c (e+f x))\right )}{c^3 d f^5}+\frac {\left (218886 (191 e-f h)^2\right ) \text {Subst}\left (\int \frac {e^{2 x}}{a+b x} \, dx,x,\log (c (e+f x))\right )}{c^2 d f^5}-\frac {\left (764 (191 e-f h)^3\right ) \text {Subst}\left (\int \frac {e^x}{a+b x} \, dx,x,\log (c (e+f x))\right )}{c d f^5}+\frac {(191 e-f h)^4 \text {Subst}\left (\int \frac {1}{x} \, dx,x,a+b \log (c (e+f x))\right )}{b d f^5}\\ &=-\frac {764 e^{-\frac {a}{b}} (191 e-f h)^3 \text {Ei}\left (\frac {a+b \log (c (e+f x))}{b}\right )}{b c d f^5}+\frac {218886 e^{-\frac {2 a}{b}} (191 e-f h)^2 \text {Ei}\left (\frac {2 (a+b \log (c (e+f x)))}{b}\right )}{b c^2 d f^5}-\frac {27871484 e^{-\frac {3 a}{b}} (191 e-f h) \text {Ei}\left (\frac {3 (a+b \log (c (e+f x)))}{b}\right )}{b c^3 d f^5}+\frac {1330863361 e^{-\frac {4 a}{b}} \text {Ei}\left (\frac {4 (a+b \log (c (e+f x)))}{b}\right )}{b c^4 d f^5}+\frac {(191 e-f h)^4 \log (a+b \log (c (e+f x)))}{b d f^5}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.80, size = 397, normalized size = 1.73 \begin {gather*} \frac {e^{-\frac {4 a}{b}} \left (4 c^3 e^{\frac {3 a}{b}} i (f h-e i)^3 \text {Ei}\left (\frac {a}{b}+\log (c (e+f x))\right )+6 c^2 e e^{\frac {2 a}{b}} i^3 (-2 f h+e i) \text {Ei}\left (2 \left (\frac {a}{b}+\log (c (e+f x))\right )\right )+4 c e^{a/b} f h i^3 \text {Ei}\left (3 \left (\frac {a}{b}+\log (c (e+f x))\right )\right )-4 c e e^{a/b} i^4 \text {Ei}\left (3 \left (\frac {a}{b}+\log (c (e+f x))\right )\right )+i^4 \text {Ei}\left (4 \left (\frac {a}{b}+\log (c (e+f x))\right )\right )+6 c^2 e^{\frac {2 a}{b}} f^2 h^2 i^2 \text {Ei}\left (\frac {2 (a+b \log (c (e+f x)))}{b}\right )-4 c^4 e e^{\frac {4 a}{b}} f^3 h^3 i \log (a+b \log (c (e+f x)))+6 c^4 e^2 e^{\frac {4 a}{b}} f^2 h^2 i^2 \log (a+b \log (c (e+f x)))-4 c^4 e^3 e^{\frac {4 a}{b}} f h i^3 \log (a+b \log (c (e+f x)))+c^4 e^4 e^{\frac {4 a}{b}} i^4 \log (a+b \log (c (e+f x)))+c^4 e^{\frac {4 a}{b}} f^4 h^4 \log (f (a+b \log (c (e+f x))))\right )}{b c^4 d f^5} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] Leaf count of result is larger than twice the leaf count of optimal. \(566\) vs.
\(2(233)=466\).
time = 3.64, size = 567, normalized size = 2.47 Too large to display
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.39, size = 364, normalized size = 1.58 \begin {gather*} \frac {{\left ({\left (c^{4} f^{4} h^{4} - 4 i \, c^{4} f^{3} h^{3} e - 6 \, c^{4} f^{2} h^{2} e^{2} + 4 i \, c^{4} f h e^{3} + c^{4} e^{4}\right )} e^{\left (\frac {4 \, a}{b}\right )} \log \left (\frac {b \log \left (c f x + c e\right ) + a}{b}\right ) - 4 \, {\left (i \, c f h + c e\right )} e^{\frac {a}{b}} \operatorname {log\_integral}\left ({\left (c^{3} f^{3} x^{3} + 3 \, c^{3} f^{2} x^{2} e + 3 \, c^{3} f x e^{2} + c^{3} e^{3}\right )} e^{\left (\frac {3 \, a}{b}\right )}\right ) - 6 \, {\left (c^{2} f^{2} h^{2} - 2 i \, c^{2} f h e - c^{2} e^{2}\right )} e^{\left (\frac {2 \, a}{b}\right )} \operatorname {log\_integral}\left ({\left (c^{2} f^{2} x^{2} + 2 \, c^{2} f x e + c^{2} e^{2}\right )} e^{\left (\frac {2 \, a}{b}\right )}\right ) - 4 \, {\left (-i \, c^{3} f^{3} h^{3} - 3 \, c^{3} f^{2} h^{2} e + 3 i \, c^{3} f h e^{2} + c^{3} e^{3}\right )} e^{\left (\frac {3 \, a}{b}\right )} \operatorname {log\_integral}\left ({\left (c f x + c e\right )} e^{\frac {a}{b}}\right ) + \operatorname {log\_integral}\left ({\left (c^{4} f^{4} x^{4} + 4 \, c^{4} f^{3} x^{3} e + 6 \, c^{4} f^{2} x^{2} e^{2} + 4 \, c^{4} f x e^{3} + c^{4} e^{4}\right )} e^{\left (\frac {4 \, a}{b}\right )}\right )\right )} e^{\left (-\frac {4 \, a}{b}\right )}}{b c^{4} d f^{5}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \frac {\int \frac {h^{4}}{a e + a f x + b e \log {\left (c e + c f x \right )} + b f x \log {\left (c e + c f x \right )}}\, dx + \int \frac {i^{4} x^{4}}{a e + a f x + b e \log {\left (c e + c f x \right )} + b f x \log {\left (c e + c f x \right )}}\, dx + \int \frac {4 h i^{3} x^{3}}{a e + a f x + b e \log {\left (c e + c f x \right )} + b f x \log {\left (c e + c f x \right )}}\, dx + \int \frac {6 h^{2} i^{2} x^{2}}{a e + a f x + b e \log {\left (c e + c f x \right )} + b f x \log {\left (c e + c f x \right )}}\, dx + \int \frac {4 h^{3} i x}{a e + a f x + b e \log {\left (c e + c f x \right )} + b f x \log {\left (c e + c f x \right )}}\, dx}{d} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.00 \begin {gather*} \int \frac {{\left (h+i\,x\right )}^4}{\left (d\,e+d\,f\,x\right )\,\left (a+b\,\ln \left (c\,\left (e+f\,x\right )\right )\right )} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________